Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
921	UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C[removed]FORM 10-K (Mark One) Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:15:57 Integrated circuits Hardware verification languages Synopsys Mentor Graphics Magma Design Automation Cadence Design Systems Electronic design automation Integrated circuit design SystemVerilog Electronic engineering Electronics Electronic design
922	Property Specification Language Reference Manual Version 1.01 April 25, 2003 Add to Reading List Source URL: www.eda.org Language: English - Date: 2003-04-25 10:33:06 Hardware verification languages Formal methods Technical communication Property Specification Language VHDL Accellera Verilog Formal verification Specification Electronic engineering Electronic design automation Hardware description languages
923	Quality Control in Outsourced Preservation Projects Add to Reading List Source URL: www.bl.uk Language: English - Date: 2014-10-25 15:39:07 Video signal Control theory Automation Knowledge Electronic engineering Electronic design Analog signal
924	UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C[removed]FORM 10-K (Mark One) È Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:15:59 Integrated circuits Digital electronics Synopsys Cadence Design Systems Mentor Graphics Signoff Logic synthesis Application-specific integrated circuit SystemVerilog Electronic engineering Electronic design automation Electronic design
925	Synopsys the design partner ofchoice 2000 Annual Corporate Summary Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:16:08 Electronics Electronic design Integrated circuits Hillsboro Oregon Synopsys Integrated circuit design Casino token Signoff Engineering Change Order Electronic engineering Electronic design automation Gambling
926	Schematic Design SCHEMATIC DESIGN CONTENTS BOOK 4: UNION STREET SCHEMATIC DESIGN Add to Reading List Source URL: www.waterfrontseattle.org Language: English - Date: 2014-08-12 15:54:30 Schematic Graphic design Design Communication design Electronic design automation Diagramming software Graphics software
927	UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C[removed]FORM 10-K (Mark One) Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:15:58 Integrated circuits Hardware verification languages Synopsys Electronic design automation Integrated circuit design Application-specific integrated circuit SystemVerilog Logic synthesis Physical design Electronic engineering Electronics Electronic design
928	NuSMV 2: An OpenSource Tool for Symbolic Model Checking Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2002-07-09 12:35:04 Applied mathematics Formal methods Software Logic in computer science Model checking Electronic design automation Boolean algebra Boolean satisfiability problem Linear temporal logic Model checkers Theoretical computer science NuSMV
929	Seven Challenges in Parallel SAT Solving Youssef Hamadi and Christoph M. Wintersteiger Microsoft Research, 21 Station Road, Cambridge CB1 2FB, United Kingdom {youssefh, cwinter}@microsoft.com Abstract Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2013-07-20 10:54:38 Logic in computer science Electronic design automation Formal methods NP-complete problems Numerical software Boolean satisfiability problem Solver Algorithm Speedup Theoretical computer science Applied mathematics Mathematics
930	UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C[removed]________________ Form 10-K [X] Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-24 17:16:08 Integrated circuits Digital electronics Synopsys Timing closure Integrated circuit design High-level synthesis Standard cell Logic synthesis Physical design Electronic engineering Electronic design automation Electronic design

UPDATE